Luby--Veli\v{c}kovi\'c--Wigderson revisited: Improved correlation bounds and pseudorandom generators for depth-two circuits

نویسندگان

  • Rocco A. Servedio
  • Li-Yang Tan
چکیده

We study correlation bounds and pseudorandom generators for depth-two circuits that consist of a SYM-gate (computing an arbitrary symmetric function) or THR-gate (computing an arbitrary linear threshold function) that is fed by S AND gates. Such circuits were considered in early influential work on unconditional derandomization of Luby, Veličković, and Wigderson [LVW93], who gave the first non-trivial PRG with seed length 2 √ log(S/ε)) that ε-fools these circuits. In this work we obtain the first strict improvement of [LVW93]’s seed length: we construct a PRG that ε-fools size-S {SYM,THR} ◦ AND circuits over {0, 1}n with seed length 2 √ logS) + polylog(1/ε), an exponential (and near-optimal) improvement of the ε-dependence of [LVW93]. The above PRG is actually a special case of a more general PRG which we establish for constant-depth circuits containing multiple SYM or THR gates, including as a special case {SYM,THR} ◦ AC circuits. These more general results strengthen previous results of Viola [Vio07] and essentially strengthen more recent results of Lovett and Srinivasan [LS11]. Our improved PRGs follow from improved correlation bounds, which are transformed into PRGs via the Nisan–Wigderson “hardness versus randomness” paradigm [NW94]. The key to our improved correlation bounds is the use of a recent powerful multi-switching lemma due to H̊astad [H̊as14]. Supported by NSF grants CCF-1420349 and CCF-1563155. [email protected] Supported by NSF grant CCF-1563122. Part of this research was done during a visit to Columbia University. [email protected]

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Improved Bounds for Quantified Derandomization of Constant-Depth Circuits and Polynomials

This work studies the question of quantified derandomization, which was introduced by Goldreich and Wigderson (STOC 2014). The generic quantified derandomization problem is the following: For a circuit class C and a parameter B = B(n), given a circuit C ∈ C with n input bits, decide whether C rejects all of its inputs, or accepts all but B(n) of its inputs. In the current work we consider three...

متن کامل

Hardness vs Randomness

We present a simple new construction of a pseudorandom bit generator, based on the constant depth generators of [N]. It stretches a short string of truly random bits into a long string that looks random to any algorithm from a complexity class C (eg P, NC, PSPACE, ...) using an arbitrary function that is hard for C. This construction reveals an equivalence between the problem of proving lower b...

متن کامل

TR - C 167 title : On Proving Circuit Lower Bounds Against the Polynomial - time Hierarchy : Positive / Negative Results and Some Related Lower Bounds for Constant Depth Circuits

We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. O...

متن کامل

Improved pseudorandom generators from pseudorandom multi-switching lemmas

We give the best known pseudorandom generators for two touchstone classes in unconditional derandomization: an ε-PRG for the class of size-M depth-d AC circuits with seed length log(M) · log(1/ε), and an ε-PRG for the class of S-sparse F2 polynomials with seed length 2 √ logS) · log(1/ε). These results bring the state of the art for unconditional derandomization of these classes into sharp alig...

متن کامل

On Proving Circuit Lower Bounds Against PH and Some Related Lower Bounds for Constant Depth Circuits

We consider the problem of proving circuit lower bounds against the polynomial-time hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(n k2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2018